1. <A> Concise introduction to pure mathematics
Author: \ Martin Liebeck.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
Classification :
QA9
.
L478
2016
E-book
,
2. A tale of discrete mathematics
Author: Joseph Khoury.,Khoury, Joseph,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Combinatorial analysis,Set theory,Algebraic logic,Textbooks.,Textbooks.,Textbooks.,Textbooks.
3. A tour through mathematical logic
Author: Wolf, Robert S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W7483
2005
4. A tour through mathematical logic
Author: Robert S. Wolf
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W65T6
5. A tour through mathematical logic
Author: Wolf, Robert S
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic, Symbolic and mathematical ► Algebra, Abstract
Classification :
9
.
W748
6. A tour through mathematical logic /
Author: Robert S. Wolf
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Abstract,Logic, Symbolic and mathematical
Classification :
QA9
.
W64
2005
7. A tour through mathematical logic
Author: Robert S. Wolf
Library: Central library and Documentation Center (Zanjan)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W74
2005
8. Abstract set theory
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Algebra, abstract
Classification :
512
.
8
Fr-A
9. Algebraic systems
Author: A.I. Mal'cev; translated from the Russian by B.D. Seckler and A.P. Doohovskov
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
162
.
M3413
1973
10. Algebraic systems
Author: Maltsev, Anatolii Ivanovich
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
1
.
G7
v
.
192
11. Algebraic systems
Author: Maltsev, Anatolii Ivanovich, 1909-1967
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Algebra, Abstract►Model theory►Logic, Symbolic and mathematical
Classification :
162
.
M3413
12. Algebraic systems
Author: / (by) A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
Classification :
QA162
.
M3413
13. Algebraic systems
Author: / (by) A. I. Malcev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
Classification :
QA
162
.
M3513
1973
14. Algraic systems
Author: Maltsev, Anatolii Ivanovich, 1909- 1967
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Algebra, Abstract ► Model theodry ► Logic, Symbolic and mathematical
Classification :
512
M242a
15. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
16. Bridge to abstract mathematics /
Author: Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
17. Closure Spaces and Logic
Author: by Norman M. Martin, Stephen Pollard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Topology.
18. Computer science logic :
Author: Hans Kleine Büning (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA75
.
5
H367
1996
19. Discrete mathematics
Author: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
Classification :
QA
,
162
,.
D57
,
2007
20. Discrete mathematics :
Author: Douglas E. Ensley, J. Winston Crawley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
Classification :
QA9
.
25
.
E57
2006
